exhaustive predicate

См. также в других словарях:

• Syntactic predicate — A syntactic predicate specifies the syntactic validity of applying a production in a formal grammar and is analogous to a semantic predicate that specifies the semantic validity of applying a production. It is a simple and effective means of… …   Wikipedia

• First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… …   Wikipedia

• HEBREW GRAMMAR — The following entry is divided into two sections: an Introduction for the non specialist and (II) a detailed survey. [i] HEBREW GRAMMAR: AN INTRODUCTION There are four main phases in the history of the Hebrew language: the biblical or classical,… …   Encyclopedia of Judaism

• logic, history of — Introduction       the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic       There was a medieval tradition according to which the Greek philosopher …   Universalium

• Propositional formula — In propositional logic, a propositional formula is a type of syntactic formula which is well formed and has a truth value. If the values of all variables in a propositional formula are given, it determines a unique truth value. A propositional… …   Wikipedia

• Kant’s Copernican revolution — Daniel Bonevac Immanuel Kant’s Critique of Pure Reason was to transform the philosophical world, at once bringing the Enlightenment to its highest intellectual development and establishing a new set of problems that would dominate philosophy in… …   History of philosophy

• Definition — For other uses, see Definition (disambiguation). A definition is a passage that explains the meaning of a term (a word, phrase or other set of symbols), or a type of thing. The term to be defined is the definiendum. A term may have many different …   Wikipedia

• Law of noncontradiction — This article uses forms of logical notation. For a concise description of the symbols used in this notation, see List of logic symbols. In classical logic, the law of non contradiction (LNC) (or the principle of non contradiction (PNC), or the… …   Wikipedia

• Ancient Egypt — was an ancient civilization in eastern North Africa, concentrated along the lower reaches of the Nile River in what is now the modern nation of Egypt. The civilization began around 3150 BC [Only after 664 BC are dates secure. See Egyptian… …   Wikipedia

• Malay language — This article is about the language which forms the basis of standard Indonesian and Malaysian. For the different Malay variants and dialects, see Malay languages. Malay Bahasa Melayu بهاس ملايو Spoken in Malaysia (as Malaysian and local Malay)… …   Wikipedia

• Tsez language — Tsez цезяс мец / cezyas mec Pronunciation [t͡sɛzˈjas mɛt͡s] Spoken in Russia Region Southern Dagestan …   Wikipedia